Security Workflow Analysis Toolkit
نویسندگان
چکیده
Dieser Beitrag stellt das ” Security Workflow Analysis Toolkit“ (SWAT) vor, eine Plattform für die formal fundierte Analyse von Geschäftsprozessen. Ausgehend von als Muster formalisierten Sicherheitsanforderungen dient SWAT als Basis für die Analyse von Prozessmodellen und Prozesslogs. Der vorliegende Beitrag zeigt anhand von Beispielen, welche Arten von Analysen mit SWAT möglich sind und wie SWAT hinsichtlich seiner Architektur aufgebaut ist.
منابع مشابه
Interoperability of the BIS - Grid Workflow Engine with Globus Toolkit 4
In the D-Grid project BIS-Grid we developed the BIS-Grid Workflow Engine in order to utilize a common WS-BPEL workflow engine for scientific workflow execution in WSRF-based Grid infrastructures. The BIS-Grid Workflow Engine itself is built on the Grid middleware UNICORE 6 to benefit from its security mechanisms and to automatically gain interoperability with UNICORE 6-based Grid infrastructure...
متن کاملVine Toolkit - Towards portal based production solutions for scientific and engineering communities with grid-enabled resources support
In large scale production and scientific, academic environments, the information sets to perform computations on come from various sources. In particular, some computations may require the information obtained as a result of previous computations. Workflow description offers an attractive approach to formally deal with such complex processes. Vine Toolkit [1] solution addresses some major chall...
متن کاملWorkflow-based Authorization Service in Grid
In a distributed environment, specific rights may be required while a task is controlled and processed. A user should delegate enough rights to a task for processing. Tasks cannot work correctly if delegated rights are insufficient, or security threats may occur if delegated rights are excessive. Restricted delegation is the step that delegates proper rights to a task, and that enables finegrai...
متن کاملA WorkFlow Management System for Bioinformatics Grid
In this paper we describe a Workflow Management System, named ProGenGrid (Proteomics and Genomics Grid, developed at the University of Lecce) which aims at providing a tool where e-scientists can simulate biological experiments through the composition of existing analysis and visualization tools, wrapped as Web Services. Since bioinformatics applications are computeand data-intensive, needing c...
متن کاملVerifying Workflow Processes against Organization Security Policies
Workflow applications for large complex organizations often need to cross several security domains, each with different management and specific security requirements. The resultant cross-dependency between the workflow specification and the security policy of each domain can be hard to manage without specific tools. This work presents a static analyzer that automatically verifies the consistenc...
متن کامل